(redisplay): If have window change at end, redisplay again.

diff --git a/src/xdisp.c b/src/xdisp.c
index 18ae7e86dfc780e50743a631861200fd981d8dfd..6bc2507a47e9a304ed39a6118b6ea8f02592aa3b 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -841,6 +841,11 @@ update:
 
   /* Change frame size now if a change is pending.  */
   do_pending_window_change ();
+
+  /* If we just did a pending size change, redisplay again
+     for the new size.  */
+  if (windows_or_buffers_changed)
+    redisplay ();
 }
 
 /* Redisplay, but leave alone any recent echo area message